dot product calculus